/*
 *	ApOS (Another Project software for s3c2410)
 *	
 *	This program is free software; you can redistribute it and/or modify
 *	it under the terms of the GNU General Public License version 2 as
 *	published by the Free Software Foundation.
 *			
 *
 */
#include <stdarg.h>
#include "../include/kernel/sys.h"
extern char buf[1024];

system_call1(int,printf,char *,str)

void printk(char *fmt,...)
{
	va_list args;
	va_start(args,fmt);
	vsprintf(buf,fmt,args);
	va_end(args);
	console_write(buf);
}